Search Results
Felienne Hermans: Program Derivation for Functional Languages - λC 2016
DomCode Meetup 2016 03 29 - Felienne Hermans - Program Derivation for Functional Languages slides
Program Derivation for Functional Programs - Felienne Hermans
Felienne Hermans: A Board Game Night with Geeks - λC 2016
Devon Stewart: Functional Programming is Overrated - λC 2016
Paul Snively: Functional Programming Destination or Origin? - λC 2016
David Peter: Interactive Tests and Documentation via QuickCheck style Declarations - λC 2016
William Harvey - Metaphorisms Deriving Divide and Conquer Recursive Programs - λC 2018
Stephen Compall: The Missing Diamond of Scala Variance - λC 2016
LambdaConf 2015 - The Art of Program Derivation and Parallel Computation Gershom Bazerman
Felienne Hermans — A board game night with geeks
LambdaConf 2015 - The Next Great Functional Programming Language John A De Goes
